Control-flow analysis - PDFSEARCH.IO - Document Search Engine

Control-flow analysis
Results: 217

#	Item
61	Quantifying Information Flow for Dynamic Secrets Piotr Mardziel,† Mário S. Alvim,‡ Michael Hicks,† and Michael R. Clarkson∗ University of Maryland, College Park Universidade Federal de Minas Gerais ∗ Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2014-04-21 13:48:10 Advantage Control theory Adversary Password Algorithm Computer science Applied mathematics Analysis of algorithms Mathematics
62	Transport Research Arena 2014, Paris The STARs evaluation tool: optimising network performance, road worker safety and road user safety during roadworks and maintenance Jill Weekleya, Nora Ni Nuallainb, Renaud Sarrazin Add to Reading List Source URL: tra2014.traconference.eu Language: English* - Date: 2015-01-12 09:16:19 Road safety Operations research Actuarial science Risk management Road traffic control Traffic flow Multi-criteria decision analysis Risk Simulation Transport Land transport Road transport
63	CAR FOLLOWING MODELS BY RICHARD W. ROTHERY6 Add to Reading List Source URL: tft.ceng.calpoly.edu Language: English - Date: 2008-04-27 04:55:45 Mathematical physics Mathematical modeling Microscopic traffic flow model Traffic flow Fictitious force Laplace transform Acceleration Control theory Damping Physics Mathematical analysis Road transport
64	A Theoretical Analysis: Physical Unclonable Functions and the Software Protection Problem Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2012-06-05 18:18:00 Physical Unclonable Function Randomness Analysis of algorithms Challenge-response authentication IP Control flow graph PUF Pseudorandomness Copy protection Cryptography Applied mathematics Theoretical computer science
65	How to Win Patients and Influence Community Communication A Step by Step Guide for Looping your Community By Susan M. Lopez, Au.D. and Mary T. Caccavo, Ph.D. These days, we see a lot of articles and “buzz” about how Add to Reading List Source URL: www.loopwisconsin.com Language: English - Date: 2014-12-17 16:39:44 Otology Control flow Assistive technology Hearing aids Audiology Infinite loop Loop Vertical loop Termination analysis Medicine Health Computer programming
66	SMT-based False Positive Elimination in Static Program Analysis Maximilian Junker1 , Ralf Huuck2 , Ansgar Fehnker2 , Alexander Knapp3 1 2 Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2013-01-01 18:04:17 Compiler construction Control flow graph Data-flow analysis
67	Multi-run security Arnar Birgisson and Andrei Sabelfeld Chalmers University of Technology, Gothenburg, Sweden Abstract. This paper explores information-flow control for batch-job programs that are allowed to be re Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2011-11-25 05:03:16 Cyberwarfare Information flow Information theory Memory leak RSA Computer security Termination analysis Batch file Vulnerability Electronic commerce Computing Security
68	Pushdown Control-Flow Analysis of Higher-Order Programs Christopher Earl David Van Horn ∗ Matthew Might Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:22:59 Symbol Structure Model theory Mathematics Logic Automata theory Models of computation Pushdown automaton
69	¨ T ECHNOLOGIE K ARLSRUHER I NSTITUT F UR ¨ F UR ¨ I NFORMATIK FAKULT AT Add to Reading List Source URL: www.joachim-breitner.de Language: English - Date: 2014-10-06 15:51:37 Functional programming Subroutines Continuations Programming paradigms Continuation-passing style Data types Control flow analysis Closure Monad Software engineering Computing Computer programming
70	The Case for Analysis Preserving Language Transformation Xiaolan Zhang Larry Koved Add to Reading List Source URL: gmarceau.qc.ca Language: English - Date: 2008-03-12 13:58:09 Cross-platform software Java platform Control flow Goto Java Static program analysis Programming language Pointer Time of check to time of use Computing Software engineering Computer programming